Free variables and bound variables - PDFSEARCH.IO - Document Search Engine

Free variables and bound variables
Results: 147

#	Item
31	cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:23:47 Computer programming Constraint logic programming Function Constraint satisfaction problem FO Free variables and bound variables Sheaf AC-3 algorithm Constraint satisfaction Constraint programming Software engineering Mathematics
32	Revised4 Report on the Algorithmic Language Scheme H. ABELSON N. I. ADAMS IV D. H. BARTLEY G. BROOKS Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-11 13:47:35 Lisp programming language Functional languages Procedural programming languages Cross-platform software Theoretical computer science Lisp Scheme Free variables and bound variables Scope Software engineering Computing Computer programming
33	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:01 Logic in computer science Programming language semantics Predicate logic Reduction strategy Operational semantics Robert Bruce Findler Free variables and bound variables Eval Scheme Software engineering Computing Programming language theory
34	Implicit and Explicit Aspects of Scope and Block Structure Ulrik Pagh Schultz May 15, 1997 Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Subroutines Logic in computer science Functional programming Lambda lifting Closure Combinatory logic Lambda Apply Free variables and bound variables Software engineering Lambda calculus Computing
35	The Semantics of Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh, Pennsylvania 15213 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 Functional programming Models of computation Logic in computer science Lambda calculus Programming language semantics Continuation-passing style Denotational semantics Free variables and bound variables Closure Software engineering Computing Computer programming
36	Quine on Modal Logic Justin Bledin March 13, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-14 02:21:00 Philosophy of language Opaque context Predicate logic Philosophical logic Function Free variables and bound variables Modal logic Referential transparency Logic Mathematics Analytic philosophy
37	Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculus Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-08-11 17:16:11 Lambda calculus Formal methods Theoretical computer science Type theory Models of computation De Bruijn index Free variables and bound variables Combinatory logic Hindley–Milner Software engineering Mathematics Computing
38	An Approach to Completing Variable Names for Implicitly Typed Functional Languages Takumi Goto Isao Sasano Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2012-02-22 04:44:30 Software engineering Type inference Unification Function Type system Hindley–Milner Free variables and bound variables Standard ML Lambda calculus Mathematics Type theory Mathematical logic
39	Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass. April Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2006-08-13 19:55:54 Computability theory Predicate logic Lisp programming language Formal languages Function Free variables and bound variables Combinatory logic Expression Lisp Logic Mathematics Mathematical logic
40	UNIVERSITY OF MINNESOTA This is to certify that I have examined this copy of a masters thesis by Andrew Jude Gacek Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2006-12-20 15:47:42 Applied mathematics Explicit substitution Calculus Free variables and bound variables Normalization property Unification Substitution Function Typed lambda calculus Lambda calculus Theoretical computer science Mathematics